SysML:control flow